1. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
2. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
